#ifndef __MMU_CONFIG_H
#define __MMU_CONFIG_H

#define TTBR0_EL1 0x40000000
#define TTBR1_EL1 0x40001000

#endif
